- inferencia natural
- естественный вывод
El diccionario Español-ruso jurídico. 2013.
inferencia natural
Смотреть что такое "inferencia natural" в других словарях:
Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… … Wikipedia Español
Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… … Wikipedia Español
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Anexo:Glosario de bridge — Estos términos son utilizados en bridge,[1] [2] o en el predecesor juego del bridge subasta, usando anotación de la modalidad de bridge duplicado o rubber bridge. Algunos de ellos son también usados en el juego del Whist, Bid whist, y otros… … Wikipedia Español
Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de … Wikipedia Español
Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… … Wikipedia Español
Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido … Wikipedia Español
David Hume — Saltar a navegación, búsqueda Para otros usos de este término, véase Hume. David Hume Retrato de David Hume, por Allan Ramsay, en el año 1766, Galería Nacional de Escocia … Wikipedia Español
Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
Filosofía — El pensador, de Auguste Rodin, representación clásica de un hombre inmerso en sus pensamientos. Este artículo trata sobre la tradición filosófica occidental. Para la tradición filosófica oriental, véase Filosofía oriental. La filosofía (del latín … Wikipedia Español
Error Fundamental de la Atribución — Saltar a navegación, búsqueda El error fundamental de atribución (conocido también como sesgo de correspondencia o efecto de sobre atribución) es la teoría que describe cognitivamente la tendencia o disposición de la gente a sobredimensionar… … Wikipedia Español
